A Verified Enclosure for the Lorenz Attractor
نویسندگان
چکیده
A rigorous numerical algorithm, formally verified with Isabelle/HOL, is used to compute an accurate enclosure for the Lorenz attractor. Accurately enclosing the attractor is highly relevant: a similar non verified computation is part of Tucker’s proof that the Lorenz attractor is chaotic in a rigorous mathematical sense. This proof settled a conjecture that Fields medalist Stephen Smale has put on his list of eighteen important mathematical problems for the twenty-first century.
منابع مشابه
Attractor Based Analysis of Centrally Cracked Plate Subjected to Chaotic Excitation
The presence of part-through cracks with limited length is one of the prevalent defects in the plate structures. Due to the slight effect of this type of damages on the frequency response of the plates, conventional vibration-based damage assessment could be a challenging task. In this study for the first time, a recently developed state-space method which is based on the chaotic excitation is ...
متن کاملAutomatic Generation of Bounds for Polynomial Systems with Application to the Lorenz System
This study covers an analytical approach to calculate positively invariant sets of dynamical systems. Using Lyapunov techniques and quantifier elimination methods, an automatic procedure for determining bounds in the state space as an enclosure of attractors is proposed. The available software tools permit an algorithmizable process, which normally requires a good insight into the systems dynam...
متن کاملThe fractal property of the Lorenz attractor
In a 1963 paper, Lorenz inferred that the Lorenz attractor must be an infinite complex of surfaces. We investigate this fractal property of the Lorenz attractor in two ways. Firstly, we obtain explicit plots of the fractal structure of the Lorenz attractor using symbolic dynamics and multiple precision computations of periodic orbits. The method we derive for multiple precision computation is b...
متن کاملHomoclinic orbit and hidden attractor in the Lorenz-like system describing the fluid convection motion in the rotating cavity
In this paper a Lorenz-like system, describing the process of rotating fluid convection, is considered. The present work demonstrates numerically that this system, also like the classical Lorenz system, possesses a homoclinic trajectory and a chaotic self-excited attractor. However, for considered system, unlike the classical Lorenz one, along with self-excited attractor a hidden attractor can ...
متن کاملComputing geometric Lorenz attractors with arbitrary precision
The Lorenz attractor was introduced in 1963 by E. N. Lorenz as one of the first examples of strange attractors. However Lorenz’ research was mainly based on (non-rigourous) numerical simulations and, until recently, the proof of the existence of the Lorenz attractor remained elusive. To address that problem some authors introduced geometric Lorenz models and proved that geometric Lorenz models ...
متن کامل